package tastytest

object BigFunctions {
  val bigfun: (x1: Int,x2: Int,x3: Int,x4: Int,x5: Int,x6: Int,x7: Int,x8: Int,x9: Int,x10: Int,x11: Int,x12: Int,x13: Int,x14: Int,x15: Int,x16: Int,x17: Int,x18: Int,x19: Int,x20: Int,x21: Int,x22: Int,x23: Int) => String = bigdef

  def bigdef(x1: Int,x2: Int,x3: Int,x4: Int,x5: Int,x6: Int,x7: Int,x8: Int,x9: Int,x10: Int,x11: Int,x12: Int,x13: Int,x14: Int,x15: Int,x16: Int,x17: Int,x18: Int,x19: Int,x20: Int,x21: Int,x22: Int,x23: Int): String = ""

  class BigFunBox[F <: (x1: Int,x2: Int,x3: Int,x4: Int,x5: Int,x6: Int,x7: Int,x8: Int,x9: Int,x10: Int,x11: Int,x12: Int,x13: Int,x14: Int,x15: Int,x16: Int,x17: Int,x18: Int,x19: Int,x20: Int,x21: Int,x22: Int,x23: Int) => String]
}
